Covering for the Dodd - Jensen core model below 0 †
نویسنده
چکیده
منابع مشابه
Diagonal Prikry extensions
It is a well-known phenomenon in set theory that problems in infinite combinatorics involving singular cardinals and their successors tend to be harder than the parallel problems for regular cardinals. Examples include the behaviour of cardinal exponentiation, the extent of the tree property, the extent of stationary reflection, and the existence of non-free almost-free abelian groups. The expl...
متن کاملWeak Covering without Countable Closure
The main result of [MiSchSt] is that Theorem 0.1 holds under the additional assumption that card(κ) is countably closed. But often, in applications, countable closure is not available. Theorem 0.1 also builds on the earlier covering theorems of Jensen, Dodd and Jensen, and Mitchell; some of the relevant papers are [DeJe], [DoJe1], [DoJe2], [Mi1], [Mi2], and [Je]. The results for smaller core mo...
متن کاملOn successors of Jónsson cardinals
We show that, like singular cardinals, and weakly compact cardinals, Jensen's core model K for measures of order zero 4] calculates correctly the successors of JJ onsson cardinals, assuming O Sword does not exist. Namely, if is a JJ onsson cardinal then + = +K , provided that there is no non-trivial elementary embedding j : K ?! K. There are a number of related results in ZF C concerning P() in...
متن کاملK without the measurable
We show in ZFC that if there is no proper class inner model with a Woodin cardinal, then there is an absolutely definable core model that is close to V in various ways. §1. The main theorem. If the universe V of sets does not have within it very complicated canonical inner models for large cardinal hypotheses, then it has a canonical inner model K that in some sense is as large as possible. K i...
متن کاملStrong covering without squares
The study of “covering lemmas” started with Jensen [DeJe] who proved in 1974–5 that in the absence of 0 there is a certain degree of resemblance between V and L. More precisely, if 0 does not exist then for every set of ordinals X there exists a set of ordinals Y ∈ L such that X ⊆ Y and V 2 |Y | = max{|X|,א1}. There is no hope of covering countable sets by countable ones in general, because doi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005